1

First-Order Classical Modal Logic

Year:
2006
Language:
english
File:
PDF, 377 KB
english, 2006
2

Merging Frameworks for Interaction

Year:
2009
Language:
english
File:
PDF, 639 KB
english, 2009
3

Temporal Logics of Agency

Year:
2010
Language:
english
File:
PDF, 123 KB
english, 2010
4

Logic and intelligent interaction

Year:
2009
Language:
english
File:
PDF, 88 KB
english, 2009
5

Dynamic Epistemic Logic II: Logics of Information Change

Year:
2013
Language:
english
File:
PDF, 1.26 MB
english, 2013
6

Arrow’s decisive coalitions

Year:
2018
Language:
english
File:
PDF, 1.05 MB
english, 2018
8

Dynamic Epistemic Logic I: Modeling Knowledge and Belief

Year:
2013
Language:
english
File:
PDF, 767 KB
english, 2013
11

Some comments on history based structures

Year:
2007
Language:
english
File:
PDF, 183 KB
english, 2007
12

Toward a Theory of Play: A Logical Perspective on Games and Interaction

Year:
2011
Language:
english
File:
PDF, 486 KB
english, 2011
13

Changing Types: Information Dynamics for Qualitative Type Spaces

Year:
2014
Language:
english
File:
PDF, 339 KB
english, 2014
14

ACTION TYPES IN STIT SEMANTICS

Year:
2017
Language:
english
File:
PDF, 480 KB
english, 2017
15

Dynamic logics of knowledge and access

Year:
2010
Language:
english
File:
PDF, 315 KB
english, 2010
16

Games, Norms and Reasons ||

Year:
2011
Language:
english
File:
PDF, 2.04 MB
english, 2011
19

Formal Epistemology II || Understanding the Brandenburger-Keisler Paradox

Year:
2007
Language:
english
File:
PDF, 1.82 MB
english, 2007
20

Substantive assumptions in interaction: a logical perspective

Year:
2013
Language:
english
File:
PDF, 272 KB
english, 2013
21

REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION

Year:
2011
Language:
english
File:
PDF, 276 KB
english, 2011
22

The Logic of Knowledge Based Obligation

Year:
2006
Language:
english
File:
PDF, 233 KB
english, 2006
23

On the use (and abuse) of Logic in Game Theory

Year:
2015
Language:
english
File:
PDF, 493 KB
english, 2015
24

Understanding the Brandenburger-Keisler Paradox

Year:
2007
Language:
english
File:
PDF, 244 KB
english, 2007
25

Knowledge, Rationality & Action || The Logic of Knowledge Based Obligation

Year:
2006
Language:
english
File:
PDF, 3.28 MB
english, 2006
30

TEMPORAL LOGICS OF AGENCY || Temporal Logics of Agency

Year:
2010
Language:
english
File:
PDF, 519 KB
english, 2010
32

Merging Frameworks for Interaction

Year:
2009
Language:
english
File:
PDF, 2.66 MB
english, 2009